Definition
A (linear) subspace L of
is a set of vectors in
such that
1 If 
2 If
and
in
, there are:
Only one subspace of dimension zero: {0}
One subspace of dimension n: 
For 0 < m < n, there are many different subspace with dimension m.
All subspaces of the same dimension are equivalent.